package edu.cth.ai23;
public interface IProblemSolver extends Runnable {
    public abstract long getRunningTime();
    public abstract boolean isSolving();
    public abstract boolean isStoped();
    public abstract String getName();
    public void updateProblem(IProblem problem);
    public IProblem getProblem();
    public String getReport();
    public abstract void stop();
}